package ast;

public class Assert extends Binder {
	
	private Binder binder;
	private Label l1;
	private Label l2;
	
	public Assert(Binder bd, Label lb1, Label lb2)
	{
		binder = bd;
		l1 = lb1;
		l2 = lb2;
	}
	
	public Label getL1() {
		return l1;
	}

	public void setL1(Label l1) {
		this.l1 = l1;
	}

	public Label getL2() {
		return l2;
	}

	public void setL2(Label l2) {
		this.l2 = l2;
	}

	public Binder getBinder() {
		return binder;
	}

	public String toString()
	{
		return "assert(" + binder + ", " + l1 + ", " + l2 + ")";
	}

}
